Agent Logic - PDFSEARCH.IO - Document Search Engine

Agent Logic
Results: 192

#	Item
61	Planning with Time Limits in BDI Agent Programming Languages Lavindra de Silva RMIT University, Melbourne, Australia Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:28:18 Logic JACK Intelligent Agents Reactive planning Modal logic 3APL Belief–desire–intention model Multi-agent systems Artificial intelligence Computing
62	Distributed Interactive Learning in Multi-Agent Systems Jian Huang and Adrian R. Pearce Department of Computer Science and Software Engineering NICTA Victoria Laboratory The University of Melbourne Victoria 3010, Austral Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2009-01-04 08:03:51 Reasoning Cybernetics Problem solving Multi-agent systems Artificial intelligence Common knowledge Machine learning Inductive logic programming Agent-based model Science Knowledge Logic
63	ASYNCHRONOUS MULTI-AGENT REASONING IN THE SITUATION CALCULUS Ryan Francis Kelly Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2009-03-12 20:13:19 Knowledge Multi-agent systems Artificial intelligence Reasoning Logic programming Situation calculus Common knowledge Intelligent agent Modal logic Science Logic Scientific modeling
64	A First-Order Theory of Communication and Multi-Agent Plans: Appendix A Leora Morgenstern IBM Watson Labs Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-03-14 13:47:24 Models of computation Agent-based model Complex systems theory Scientific modeling Communication Entailment Logic Multi-agent systems Science
65	Indu s t ry T rends Complex-Event Processing Poised for Growth Neal Leavitt Add to Reading List Source URL: leavcom.com Language: English - Date: 2013-04-12 14:46:06 Information technology Technology Complex event processing David Luckham Truviso Rulecore Tibco Software Agent Logic StreamBase Systems Computing Cognition Information systems
66	DAMLJessKB: A Tool for Reasoning with the Semantic Web William C. Regli Joe Kopena Geometric and Intelligent Computing Laboratory Add to Reading List Source URL: edge.cs.drexel.edu Language: English - Date: 2002-10-28 16:48:08 Data DARPA Agent Markup Language Resource Description Framework RDF Schema Ontology Description logic DAML+OIL Knowledge representation and reasoning Semantic reasoner Semantic Web Information Computing
67	Proposal forWWW2009 Tutorial Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-08-09 10:02:48 Ontology DARPA Agent Markup Language Semantic Web Rule Language Web Ontology Language Semantic reasoner RuleML Description logic Knowledge representation and reasoning F-logic Semantic Web Information Science
68	A First-Order Theory of Communication Multi-Agent Plans: Appendix B Leora Morgenstern IBM Watson Labs Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-03-06 13:46:11 Logical consequence Logical syntax Metalogic S0 Logic Deduction Entailment
69	Open Multi-Agent Systems: Agent Communication and Integration Rogier M. van Eijk, Frank S. de Boer, Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1999-06-11 10:44:36 Universal algebra Model theory Logic programming Abstract algebra Arity Term Structure First-order logic Mathematics Mathematical logic Logic
70	Journal of Universal Computer Science, vol. 15, no), submitted: , accepted: , appeared: 1/7/09 © J.UCS On the Semantics and Verification of Normative Multi-Agent Systems L˘ Add to Reading List Source URL: www.jucs.org Language: English - Date: 2010-11-24 10:39:58 Logic programming Predicate logic Propositional calculus Clause J Norm Reason Operational semantics Brute fact Software engineering Computing Computer programming